How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1

Source URL: www.lsv.ens-cachan.fr

Computation Power of Randomization and Nondeterminism 2 Scientific Work

Source URL: www.ite.ethz.ch

• Complexity classes
• Computational complexity theory
• Finite automata
• Models of computation
• Analysis of algorithms
• Nondeterminism
• NL
• Randomized algorithm
• Automata theory
• Theory of computation
• Communication complexity
• NP

Modeling the Effects of Interpersonal Communication on Long-Term Opinion Change using Topic Models Nick Beauchamp New York University, Columbia University Introduction

Source URL: nickbeauchamp.com

Notified Access: Extending Remote Memory Access Programming Models for Producer-Consumer Synchronization Roberto Belli, Torsten Hoefler Dept. of Computer Science, ETH Zurich {bellir,htor}@inf.ethz.ch

Source URL: htor.inf.ethz.ch

• Computing
• Concurrent computing
• Computer programming
• Parallel computing
• Inter-process communication
• Application programming interfaces
• Concurrency
• Message Passing Interface
• Distributed computing architecture
• Synchronization
• SHMEM
• Message queue

DOI: j01331.x Biometrics Modeling Complex Phenotypes: Generalized Linear Models Using Spectrogram Predictors of Animal Communication Signals

Source URL: www.biosci.missouri.edu

• Signal processing
• Timefrequency analysis
• Mathematical analysis
• Statistics
• Electrical engineering
• Fourier analysis
• Regression analysis
• Estimation theory
• Spectrogram
• Short-time Fourier transform
• Spectral density
• Spectrum

Logic-Statistic Models with Constraints for Biological Sequence Analysis Christian Theil Have Research Group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technolo

Source URL: akira.ruc.dk

Article Managing expectations Journal of Theoretical Politics–302

Source URL: polisci.emory.edu

• Ethology
• Technology
• Human communication
• Linguistics
• Models of communication
• Service quality
• Email spam
• Communication
• Behavior
• Spamming

Pre-press draft. Article published as: Crilly, N., Good, D., Matravers, D., & Clarkson, P. JDesign as communication: exploring the validity and utility of relating intention to interpretation. Design Studies, 2

Source URL: www-edc.eng.cam.ac.uk

• Information
• Models of communication
• Graphic design
• Information design
• Industrial design
• Communicative ecology
• Communication
• Behavior
• Design

Group Management Schemes for Implementing MPI Collective Communication over IP–Multicast Xin Yuan Scott Daniels Ahmad Faraj Amit Karwande

Source URL: www.cs.fsu.edu

• Message Passing Interface
• LAM/MPI
• MPICH
• Multicast
• Reliable multicast
• Parallel Virtual Machine
• Models of communication
• Communication
• Computer cluster
• Computing
• Parallel computing
• Computer programming

Advanced Software Test Design Techniques State Diagrams, State Tables, and Switch Coverage Provided by Rex Black Consulting Services (www.rbcs-us.com) Introduction The following is an excerpt from my recently-published b

Source URL: www.rbcs-us.com

• Data modeling
• Event
• Unified Modeling Language
• State diagram
• Software testing
• Transition
• Communication design
• Software engineering
• Design
• UML diagrams
• Models of computation
• Diagrams